Википедия
Сетл
Сетл (SETL) — язык программирования , ориентированный на работу со множествами , разработанный в конце 1960-х годов группой профессора Нью-йоркского университета Джекобом Шварцем . Наименование языка SETL — сокращение от SET Language , где SET переводится как «множество», то есть дословно «Язык множеств».
Синтаксические конструкции языка содержат операции, позволяющие манипулировать со множествами — включение, исключение, проверка принадлежности, кванторы всеобщности и существования, итераторы, позволяющие обрабатывать каждый элемент множества и т. д. Кроме множеств, язык поддерживает работу с упорядоченными множествами — кортежами .